abstraction operator造句

The lambda abstraction operator, ?, takes a formal parameter variable and a body expression.
The construction of the ?-algebra through the introduction of an abstraction operator proceeds as follows:
The abstraction operator, \ lambda, is said to bind its variable wherever it occurs in the body of the abstraction.
Although the aim is to increase the speed of a computation, the role of abstraction has posed questions about the involvement of abstraction operators.
*"'Abstraction "'& mdash; the abstraction operator, \ tau _ I, provides a way to " hide " certain actions, and treat them as events that are internal to the systems being modelled.
It's difficult to find abstraction operator in a sentence. 用abstraction operator造句挺难的